(0 22 15)(1 18 3)(2 7 5)(4 23 19)(6 10 8)(9 13 11)(12 16 14)(17 21 20)
ALLOWS (11/8)-SEQUENCE
1: (0 13 15)
(0)(1 18 3)(2 7 5)(4 23 19)(6 10 8)(9 13 22 15 11)(12 16 14)(17 21 20)
2: (12 16 14)
(0)(1 18 3)(2 7 5)(4 23 19)(6 10 8)(9 13 22 15 11)(12)(14)(16)(17 21 20)
3: (11 22 15)
(0)(1 18 3)(2 7 5)(4 23 19)(6 10 8)(9 13 22)(11)(12)(14)(15)(16)(17 21 20)
4: (4 23 19)
(0)(1 18 3)(2 7 5)(4)(6 10 8)(9 13 22)(11)(12)(14)(15)(16)(17 21 20)(19)(23)